1. Verification techniques for system-level design /
Author: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7895
.
E42
F95
2008eb
2. Verification techniques for system-level design
Author: / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Systems on a chip -- Testing,Integrated circuits -- Verification,Formal methods (computer science)
Classification :
TK7895
.
E42F95
2008
